10921. 30th IEEE International Symposium on Multiple-Valued Logic )ISMVL 2000( : proceedings
Author: sponsored by Oregon Center for Advanced Technology Education...]et al[, supported by School of Engineering and Applied Science, Portland State University...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Many-valued logic,Congresses ، Switching theory
Classification :
QA
9
.
45
.
I58
2000


10922. 4th IFAC/IFIP International Conference on Digital Computer Applications to Process Control, Zurich, Switzerland, March 19-22, 1974
Author: / Edited by M. Mansour and W. Schaufelberger
Library: Library of College of Science University of Tehran (Tehran)
Subject: Process control -- Data processing -- Congresses
Classification :
TS
156
.
8
.
I13
1974


10923. 9th International Conference on Automated Deduction :
Author: E. Lusk, R. Overbeek (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving-- Congresses.,Logic, Symbolic and mathematical-- Congresses.
Classification :
QA76
.
9
.
A96
I57
1988


10924. 8th International Conference on Automated Deduction :
Author: edited by Jörg H. Siekmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.

10925. 8th International Conference on Automated Deduction
Author: edited by Jپ rg H. Siekmann
Library: Vali Asr University Central Library (Kerman)
Subject: Automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
9
.
A96
,
I57
1986


10926. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988: Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
9
.
A96
.
I57
1988


10927. 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, proceedings
Author: E. Lusk, R. Overbeek )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
310


10928. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
Author: edited by R.E. Shostak
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
170


10929. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
Author: edited by R.E. Shostak
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
170


10930. 8th International Conference on Automated Deduction : Oxford, England, July 27 - August 1, 1986: Proceedings
Author: edited by Jorg H. Siekmann
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
230


10931. 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
Author: edited by Jorg H. Siekmann
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
230


10932. 11th International Conference on Industrial & Engineering Applications of Artificial Intelligence and Expert Systems IEA-98-AIE Benicassim, Castellon, Spain, June 1998 : proceedings
Author: Jose Mira, Angel Pasqual del Pobil, Moonis Ali, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Industrial applications -- Congresses ، Artificial intelligence,Industrial applications -- Congresses ، Expert systems )Computer science(,Methodology -- Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
1415-1416


10933. 14th International Conference on Scientific and Statistical Database Management: proceedings: 24-26th July, 2002, Edinburgh, Scotland
Author: International Conference on Scientific and Statistical Database Management)41th :2002 :Edinburgh, Scotland(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Database design- Congresses,، Database management- Congresses,، Science- Data processing- Congresses,، Statistics- Data processing- Congresses
Classification :
QA
76
.
9
.
D3
I583
2002


10934. 14th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2019) :
Author: Francisco Martínez Álvarez, [and 4 others], editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Soft computing, Congresses.,Artificial intelligence.,Soft computing.
Classification :
Q334
.
S63
2019


10935. 9th International Conference on Very Large Data Bases : Florence, Italy, October 31-November 2, 1983
Author: edited by M. Schkolnick, C. Thanos
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Database management Congresses, Databases Congresses, Data structures )Computer science( Congresses
Classification :
QA
76
.
9
.
D3
I5589
1983


10936. 11th International Congress on Catalysis, 40th anniversar
Author: / editors, Joe W. Hightower ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Catalysis--Congresses
Classification :
QD
,
505


10937. 27th International Meshing Roundtable
Author: editors, Xevi Roca and Adrien Loseille
Library: Library of College of Science University of Tehran (Tehran)
Subject: Numerical grid generation (Numerical analysis) -- Congresses.
Classification :
QA377


10938. 11th International Symposium on Process Systems Engineering - PSE2012
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemical engineering-- Data processing, Congresses.

10939. 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Mao, Menorca, Spain, June 3-6, 2003 : proceedings
Author: Jose Mira, Jose R. Alvarez )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Neural networks )Neurobiology(,Congresses ، Neural networks )Computer science(,Congresses ، Computational neuroscience
Classification :
QA
76
.
L28
Vol
.
2686-2687


10940. 6th International Work-Conference on Artificial and Neural Networks, IWANN 2001, Granada, Spain, June 13-15, 2001 : proceedings
Author: Jose Mira, Alberto Prieto )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Neural networks )Neurobiology(,Congresses ، Neural networks )Computer science(,Congresses ، Connectionism,Congresses ، Artificial intelligence,Congresses ، Cognitive neuroscience
Classification :
QA
76
.
L28
Vol
.
2084-2085

